derivation of ampere's law